Seminar Model Checking

SE 2   SS 2005   LVA 703622

Description

The aim of this seminar is the study of model checking algorithms. More precisely, we will focus on logics, such as LTL, CTL and μ-calculus. For these logics, we will study the semantics and both sequential and distributed algorithms for verifying properties in those logics.